efficiency proof

См. также в других словарях:

• Proof complexity — In computer science, proof complexity is a measure of efficiency of automated theorem proving methods that is based on the size of the proofs they produce. The methods for proving contradiction in propositional logic are the most analyzed. The… …   Wikipedia

• -proof — [[t] pruːf[/t]] proofs, proofing, proofed 1) COMB in ADJ proof combines with nouns and verbs to form adjectives which indicate that something cannot be damaged or badly affected by the thing or action mentioned. ...a bomb proof aircraft... In a… …   English dictionary

• Office of Energy Efficiency and Renewable Energy — The Office of Energy Efficiency and Renewable Energy (EERE) is an office within the United States Department of Energy that invests in high risk, high value research and development in the fields of energy efficiency and renewable energy… …   Wikipedia

• Water efficiency — can be defined as *1) the accomplishment of a function, task, process, or result with the minimal amount of water feasible; *2) an indicator of the relationship between the amount of water required for a particular purpose and the amount of water …   Wikipedia

• Pareto efficiency — Pareto efficiency, or Pareto optimality, is an important concept in economics with broad applications in game theory, engineering and the social sciences. The term is named after Vilfredo Pareto, an Italian economist who used the concept in his… …   Wikipedia

• Coalition-proof Nash equilibrium — The concept of coalition proof Nash equilibrium applies to certain noncooperative environments in which players can freely discuss their strategies but cannot make binding commitments [1]. It emphasizes the immunization to deviations that are… …   Wikipedia

• Maximum power transfer theorem — In electrical engineering, the maximum power transfer theorem states that, to obtain maximum external power from a source with a finite internal resistance, the resistance of the load must be equal to the resistance of the source as viewed from… …   Wikipedia

• Spacecraft propulsion — A remote camera captures a close up view of a Space Shuttle Main Engine during a test firing at the John C. Stennis Space Center in Hancock County, Mississippi Spacecraft propulsion is any method used to accelerate spacecraft and artificial… …   Wikipedia

• United Kingdom — a kingdom in NW Europe, consisting of Great Britain and Northern Ireland: formerly comprising Great Britain and Ireland 1801 1922. 58,610,182; 94,242 sq. mi. (244,100 sq. km). Cap.: London. Abbr.: U.K. Official name, United Kingdom of Great… …   Universalium

• Efficient-market hypothesis — Financial markets Public market Exchange Securities Bond market Fixed income Corporate bond Government bond Municipal bond …   Wikipedia

• Dust collector — Two rooftop dust collectors in Pristina, Kosovo A dust collector is a system used to enhance the quality of air released from industrial and commercial processes by collecting dust and other impurities from air or gas. Designed to handle heavy… …   Wikipedia